Validated Finite Element M